/*body, html  {*/
/*font-family: helvetica, sans-serif, arial;*/
/*font-size: 1em;*/
/*color: #111;*/
/*background-color: rgb(0, 0, 0);*/
/*color: rgb(240, 240, 240);*/
/*height: 100%;*/
/*margin: 0;*/
/*}*/
#header {
    color: rgb(240, 240, 240);
    background-color: rgb(0, 128, 0);
    width: 100%;
    border-color: white;
    border-style: none none solid none;
    border-width: 1px;
    text-align: center;
    flex: 0 1 auto;
    z-index: 99;
    height:21px;
    display: none;
}
.box {
    display: block;
    height: 100%;
    font-size: 1em;
}
#terminal-container {
    display: block;
    width: calc(100% - 1px);
    margin: 0 auto;
    /*padding: 2px;*/
    height: calc(100% - 0px);
    /*margin-bottom: 19px;*/
}
#terminal-container .terminal {
    background-color: #000000;
    color: #fafafa;
    /*padding: 2px;*/
    /*padding-bottom:6px;*/
    height: calc(100% - 0px);
    /*margin-bottom: 19px;*/
}

#terminal-container .terminal:focus .terminal-cursor {
    background-color: #fafafa;
}
.xterm .xterm-viewport {
    /*margin-bottom: -11px;*/
}
#bottomdiv {
    position: relative;
    /*left: 0;*/
    /*bottom: 0;*/
    width: calc(100%);
    margin-right: 0px;
    margin-bottom: 0px;
    margin-top: 0px;
    background-color: rgb(50, 50, 50);
    border-color: white;
    border-style: solid none none none;
    border-width: 0px;
    z-index: 99;
    height: 21px;
}
#footer {
    display: inline-block;
    color: rgb(240, 240, 240);
    background-color: rgb(50, 50, 50);
    padding-left: 5px;
    padding-right: 5px;
    border-color: white;
    border-style: none none none solid;
    border-width: 1px;
    text-align: left;
}
#status {
    display: inline-block;
    color: rgb(240, 240, 240);
    background-color: rgb(50, 50, 50);
    padding-left: 10px;
    padding-right: 10px;
    border-color: white;
    border-style: none solid none solid;
    border-width: 1px;
    text-align: left;
    z-index: 100;
}
#menu {
    display: inline-block;
    font-size: 16px;
    color: rgb(255, 255, 255);
    padding-left: 10px;
    z-index: 100;
}
#menu a{
    font-size: 16px;
    color: rgb(255, 255, 255);
}
